(if #t 1 0)
(if #f 1 0)
(if #t 1)
(if (eq? 'a 'a) (if #t 1 0) #f)

